大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I

0
索取号：
作者：Cheong、 Otfried.、Chwa、 Kyung-Yong.、Park、 Kunsoo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II

0
索取号：
作者：Cheong、 Otfried.、Chwa、 Kyung-Yong.、Park、 Kunsoo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25鈥揗ay 1, 2010, Revised Selected Papers

0
索取号：
作者：Clarke、 Edmund M.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Parameterized and Exact Computation [electronic resource] : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings

0
索取号：
作者：Raman、 Venkatesh.、Saurabh、 Saket.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Combinatorial Optimization and Applications [electronic resource] : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II

0
索取号：
作者：Wu、 Weili.、Daescu、 Ovidiu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Combinatorial Optimization and Applications [electronic resource] : 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I

0
索取号：
作者：Wu、 Weili.、Daescu、 Ovidiu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Pairing-Based Cryptography - Pairing 2010 [electronic resource] : 4th International Conference, Yamanaka Hot Spring, Japan, December 2010. Proceedings

0
索取号：
作者：Joye、 Marc.、Miyaji、 Atsuko.、Otsuka、 Akira.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Handbook of Swarm Intelligence [electronic resource] : Concepts, Principles and Applications

0
索取号：
作者：Panigrahi、 Bijaya Ketan.、Shi、 Yuhui.、Lim、 Meng-Hiot.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Multiparadigm Constraint Programming Languages [electronic resource]

0
索取号：
作者：Hofstedt、 Petra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

0
索取号：
作者：Ando、 Noriaki.、Balakirsky、 Stephen.、Hemker、 Thomas.、Reggiani、 Monica.、Stryk、 Oskar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Cartesian Genetic Programming [electronic resource]

0
索取号：
作者：Miller、 Julian F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010. Proceedings, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammoud、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammound、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 鈥ĥcember 1, 2010, Proceedings, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammound、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

0
索取号：
作者：Ueda、 Kazunori.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

0
索取号：
作者：Boer、 Frank S.、Bonsangue、 Marcello M.、Hallerstede、 Stefan.、Leuschel、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院